TSTP Solution File: ALG288^5 by CiME---2.01